David Brumley - PDFSEARCH.IO - Document Search Engine

David Brumley
Results: 104

#	Item
11	Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos and David Brumley Carnegie Mellon University, Pittsburgh, PA {edmcman, thanassis, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Computer security Software bugs Address space layout randomization Gadget Buffer overflow Return-to-libc attack Shellcode Instruction selection Position-independent code NOP Return-oriented programming
12	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Formal methods Edsger W. Dijkstra Predicate transformer semantics Complexity classes KeY IP NP PP Algorithm
13	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Computer architecture Software engineering Programming language implementation Alias analysis Static program analysis Minicomputers X86 assembly language Program counter Assembly language PDP-8 Random-access machine
14	Computer Networks–716 www.elsevier.com/locate/comnet Remote timing attacks are practical David Brumley a Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Cryptography E-commerce Cryptographic software RSA OpenSSL Modular arithmetic Timing attack Side-channel attack Montgomery modular multiplication David Brumley Karatsuba algorithm Data Encryption Standard
15	Virtual Appliances for Deploying and Maintaining Software Constantine Sapuntzakis David Brumley Ramesh Chandra Nickolai Zeldovich Jim Chow Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Computing Software appliances Hardware virtualization Software distribution Virtual appliance Appliance VMware ESXi VMDK Server appliance TurnKey Linux Virtual Appliance Library
16	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
17	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Mathematics Formal methods Edsger W. Dijkstra Predicate transformer semantics Errors and residuals Function Science and technology
18	Remote Timing Attacks are Practical David Brumley Stanford University Abstract Timing attacks are usually used to attack weak computing devices such as smartcards. We show that timing Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Cryptography Modular arithmetic Cryptographic software E-commerce OpenSSL RSA Public-key cryptography Modular exponentiation Montgomery modular multiplication Timing attack Side-channel attack Data Encryption Standard
19	Automatically Inferring the Evolution of Malicious Activity on the Internet Shobha Venkataraman AT&T Labs – Research David Brumley Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Internet Network architecture IP addresses Internet Standards Routing Spamming Border Gateway Protocol Email spam Classless Inter-Domain Routing IPv6
20	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities